logic specification中文是什么意思

發(fā)音:

中文翻譯
造句

邏輯規(guī)格說(shuō)明

programming logic specification 程序設(shè)計(jì)邏輯規(guī)范書(shū)
temporal logic specification 暫時(shí)邏輯說(shuō)明
specification n. 1.詳細(xì)說(shuō)明，逐一登記，詳記。 2.〔pl.〕規(guī)范，規(guī)格。 3.清單，明細(xì)單。 4.【法律】(申報(bào)新發(fā)明時(shí)的)設(shè)計(jì)說(shuō)明書(shū)。 5. 【法律】用來(lái)料加工制成新產(chǎn)品所取得的權(quán)利。 Can you send the job specification to me at once 你能把工程作業(yè)的詳細(xì)說(shuō)明馬上送來(lái)嗎？ a signal specification 信號(hào)規(guī)格；信號(hào)技術(shù)條件。 working specifications 操作規(guī)程。 fall short of specifications 不合規(guī)格。
specification for 標(biāo)準(zhǔn); 建設(shè)工程文件歸檔整理規(guī)范
-logic -logic, -logical 〔構(gòu)成與 -logy 結(jié)尾的名詞相應(yīng)的形容詞〕表示“…學(xué)的”： biological, philological.
and logic “與”邏輯
logic n. 1.邏輯，理論學(xué)。 2.推理[方法]；邏輯性，條理性。 3. 威力，壓力，強(qiáng)制(力)。 deductive [inductive] logic演繹[歸納]邏輯。 dialectical logic辯證邏輯。 formal logic形式邏輯。 a gangster logic強(qiáng)盜邏輯，惡徒的歪理[言行]。 mathematical logic數(shù)理邏輯。 pure logic純粹邏輯。 He is not governed by logic. 他沒(méi)有邏輯性。 That is not logic. 那不合邏輯。 the irresistible logic of facts 事實(shí)的不可抗拒的威力。 the logic of events [war] 事件[戰(zhàn)爭(zhēng)]的強(qiáng)制力。 His logic is shaky. 他的推理站不住腳。 chop logic 詭辯。
logic-and 邏輯“與”
or logic 或邏輯
acceptance specification 驗(yàn)收規(guī)范; 驗(yàn)收說(shuō)瞄
access specification 存取規(guī)范
acpi specification 啟動(dòng)進(jìn)度條后就藍(lán)屏
action specification 作用說(shuō)明
actual specification 實(shí)際規(guī)范
adherence to specification 符合設(shè)計(jì)要求; 遵守技術(shù)規(guī)范
against specification 不合規(guī)格
algebraic specification 代數(shù)方法; 代數(shù)規(guī)格說(shuō)明
alternation specification 加改裝規(guī)范
amplifer specification 放大器指標(biāo)
api specification api技術(shù)規(guī)范; 美國(guó)石油學(xué)會(huì)技術(shù)規(guī)范; 美國(guó)石油學(xué)會(huì)技術(shù)規(guī)格
application specification 應(yīng) 用系統(tǒng) 規(guī) 格; 應(yīng)用支援套裝程式
approved specification 認(rèn)可的標(biāo)準(zhǔn)，批準(zhǔn)的技術(shù)條件
architects specification 工程技術(shù)規(guī)格
ash specification 灰份規(guī)格
astm specification 美國(guó)材料試驗(yàn)協(xié)會(huì)技術(shù)規(guī)范

"查查詞典"手機(jī)版

千萬(wàn)人都在用的超大詞匯詞典翻譯APP

例句與用法

However, this tempo-ral logic based technology was not conveniently applied to the verification ofknowledge logic specification
然而,傳統(tǒng)的模型檢測(cè)是基于時(shí)態(tài)邏輯的,它并不支持知識(shí)邏輯規(guī)范的驗(yàn)證。
We designed a small business rule management system based on the constrained chinese natural language . the system comprises a three-level rule language model to facilitate the direct one-for-one encoding of business logic specifications into business rules
基于受限漢語(yǔ)的業(yè)務(wù)規(guī)則管理系統(tǒng)在傳統(tǒng)brms的基礎(chǔ)上引入了中文環(huán)境，使得業(yè)務(wù)規(guī)則具有受限自然語(yǔ)言的表達(dá)和開(kāi)發(fā)實(shí)施平臺(tái)，大大提高了brms的易用性。
6 clarke e m, emerson e a, sistla a p . automatic verification of finite-state concurrent systems using temporal logic specifications . acm transactions on programming languages and systems, 1986, 8 : 244-263.7 aho a v, hopcroft j e, ullman j d . the design and analysis of computer algorithms
modelchecking過(guò)去主要是作為一種驗(yàn)證技術(shù)被廣為使用的，本文作者通過(guò)對(duì)dmc以及后續(xù)工程項(xiàng)目的研究發(fā)現(xiàn)，modelchecking完全可以作為一種計(jì)算技術(shù)被廣泛使用，就相當(dāng)于已經(jīng)成為經(jīng)典編譯技術(shù)yacc在軟件開(kāi)發(fā)的各個(gè)層面上被廣泛使用一樣。

其他語(yǔ)種釋義

logic specificationとは意味：論理仕様｛ろんりしよう｝

推薦英語(yǔ)閱讀

logic specification的中文翻譯，logic specification是什么意思，怎么用漢語(yǔ)翻譯logic specification，logic specification的中文意思，logic specification的中文，logic specification in Chinese，logic specification的中文，logic specification怎么讀，發(fā)音，例句，用法和解釋由查查在線詞典提供，版權(quán)所有違者必究。